181. Sets, logic, and axiomatic theories
پدیدآورنده : Stoll, Robert Roth, 5191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S76S4
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
182. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
183. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
184. Sets, logic, and categories
پدیدآورنده : Peter J. Cameron
موضوع : Set theory,Logic, Symbolic and mathematical,Categories (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
185. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
186. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
187. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J.)Peter Jephson(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
188. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
189. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
190. The Real Number
پدیدآورنده : / by John Stillwell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
![](/design/images/bookmore.png)
191. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
192. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
193. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
194. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
195. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
196. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
197. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
198. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
199. The search for mathematical roots, 1870-1940
پدیدآورنده : / I. Grattan-Guinness
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
رده :
E-BOOK
![](/design/images/bookmore.png)
200. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
![](/design/images/bookmore.png)